[prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 183

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 52 91 70 57 68 64 53

N.S.

1 1.00 1.16 2.02 1.56 1.27 1.51 1.42 1.18

time (sec)

N/A 0.033 0.135 0.898 0.314 0.454 0.093 0.411 0.079

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 54 94 72 122 0 67 -1

N.S.

1 1.00 0.84 1.47 1.12 1.91 0.00 1.05 -0.02

time (sec)

N/A 0.108 0.079 1.138 0.291 0.400 0.000 0.420 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 68 149 89 178 0 631 -1

N.S.

1 1.00 0.78 1.71 1.02 2.05 0.00 7.25 -0.01

time (sec)

N/A 0.136 0.240 1.057 0.306 0.454 0.000 0.427 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 90 296 100 293 0 316 -1

N.S.

1 1.00 0.73 2.41 0.81 2.38 0.00 2.57 -0.01

time (sec)

N/A 0.159 0.330 1.053 0.311 0.373 0.000 0.423 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

237 237 217 1071 554 410 779 577 452

N.S.

1 1.00 0.92 4.52 2.34 1.73 3.29 2.43 1.91

time (sec)

N/A 0.187 0.989 0.921 0.286 0.483 0.470 0.429 2.252

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

168 168 192 541 344 242 456 329 257

N.S.

1 1.00 1.14 3.22 2.05 1.44 2.71 1.96 1.53

time (sec)

N/A 0.138 0.343 0.911 0.286 0.547 0.302 0.426 1.288

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 81 211 176 128 219 151 123

N.S.

1 1.00 0.69 1.79 1.49 1.08 1.86 1.28 1.04

time (sec)

N/A 0.073 0.322 0.946 0.268 0.501 0.169 0.432 0.135

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 113 191 153 251 0 135 -1

N.S.

1 1.00 0.78 1.32 1.06 1.73 0.00 0.93 -0.01

time (sec)

N/A 0.251 0.146 4.393 0.329 0.442 0.000 0.424 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 207 308 186 544 0 1134 -1

N.S.

1 1.00 1.32 1.96 1.18 3.46 0.00 7.22 -0.01

time (sec)

N/A 0.237 0.466 3.498 0.325 0.396 0.000 0.470 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

207 207 353 618 206 840 0 682 -1

N.S.

1 1.00 1.71 2.99 1.00 4.06 0.00 3.29 -0.00

time (sec)

N/A 0.351 0.750 3.437 0.336 0.375 0.000 0.434 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 158 325 239 672 0 0 -1

N.S.

1 1.00 1.35 2.78 2.04 5.74 0.00 0.00 -0.01

time (sec)

N/A 0.192 1.580 1.682 0.376 0.421 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

88 88 295 174 0 359 0 0 -1

N.S.

1 1.00 3.35 1.98 0.00 4.08 0.00 0.00 -0.01

time (sec)

N/A 0.143 4.435 1.508 0.000 0.502 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 70 63 76 116 76 66 53

N.S.

1 1.00 1.43 1.29 1.55 2.37 1.55 1.35 1.08

time (sec)

N/A 0.049 0.163 1.228 0.263 0.411 0.328 0.408 0.903

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.043 6.383 180.000 0.000 0.000 0.000 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.039 6.493 180.000 0.000 0.000 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

255 255 492 600 633 2683 0 0 -1

N.S.

1 1.00 1.93 2.35 2.48 10.52 0.00 0.00 -0.00

time (sec)

N/A 0.253 2.665 2.041 0.417 0.454 0.000 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

200 200 637 313 0 1347 0 0 -1

N.S.

1 1.00 3.18 1.56 0.00 6.74 0.00 0.00 -0.00

time (sec)

N/A 0.180 6.270 1.605 0.000 0.447 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 114 108 255 472 156 192 138

N.S.

1 1.00 0.93 0.88 2.07 3.84 1.27 1.56 1.12

time (sec)

N/A 0.066 0.290 1.571 0.294 0.383 0.532 0.402 0.893

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.039 21.273 180.000 0.000 0.000 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.035 21.729 180.000 0.000 0.000 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-2) F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 53 108 120 0 0 147 117

N.S.

1 1.00 0.48 0.98 1.09 0.00 0.00 1.34 1.06

time (sec)

N/A 0.109 0.152 0.805 0.484 0.000 0.000 0.398 0.207

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-2) F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 44 86 90 0 0 107 95

N.S.

1 1.00 0.50 0.98 1.02 0.00 0.00 1.22 1.08

time (sec)

N/A 0.086 0.113 0.477 0.479 0.000 0.000 0.410 0.934

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-2) F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 34 64 60 0 0 67 56

N.S.

1 1.00 0.64 1.21 1.13 0.00 0.00 1.26 1.06

time (sec)

N/A 0.047 0.084 0.477 0.477 0.000 0.000 0.426 0.907

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 54 0 0 0 0 32 -1

N.S.

1 1.00 0.65 0.00 0.00 0.00 0.00 0.39 -0.01

time (sec)

N/A 0.115 0.060 0.766 0.000 0.000 0.000 0.421 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 75 0 0 0 0 68 -1

N.S.

1 1.00 0.68 0.00 0.00 0.00 0.00 0.62 -0.01

time (sec)

N/A 0.104 0.105 0.444 0.000 0.000 0.000 0.419 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 97 0 0 0 0 107 -1

N.S.

1 1.00 0.64 0.00 0.00 0.00 0.00 0.71 -0.01

time (sec)

N/A 0.123 0.184 0.444 0.000 0.000 0.000 0.411 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 33 62 88 0 0 0 63

N.S.

1 1.00 0.49 0.91 1.29 0.00 0.00 0.00 0.93

time (sec)

N/A 0.094 0.044 0.474 0.474 0.000 0.000 0.000 0.911

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 31 50 66 0 0 0 51

N.S.

1 1.00 0.58 0.94 1.25 0.00 0.00 0.00 0.96

time (sec)

N/A 0.069 0.034 0.408 0.476 0.000 0.000 0.000 0.071

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 22 38 44 0 0 0 39

N.S.

1 1.00 0.69 1.19 1.38 0.00 0.00 0.00 1.22

time (sec)

N/A 0.038 0.019 0.405 0.476 0.000 0.000 0.000 0.880

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 23 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.068 0.007 0.408 0.000 0.000 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 33 0 0 0 0 0 -1

N.S.

1 1.00 0.79 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.068 0.042 0.369 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 44 0 0 0 0 0 -1

N.S.

1 1.00 0.66 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.084 0.056 0.381 0.000 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A F(-2) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

185 185 70 0 180 0 0 192 -1

N.S.

1 1.00 0.38 0.00 0.97 0.00 0.00 1.04 -0.01

time (sec)

N/A 0.146 0.212 0.329 0.478 0.000 0.000 0.411 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A F(-2) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 54 0 136 0 0 144 -1

N.S.

1 1.00 0.37 0.00 0.94 0.00 0.00 0.99 -0.01

time (sec)

N/A 0.106 0.184 0.324 0.490 0.000 0.000 0.431 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A F(-2) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 56 0 92 0 0 96 -1

N.S.

1 1.00 0.63 0.00 1.03 0.00 0.00 1.08 -0.01

time (sec)

N/A 0.062 0.074 0.322 0.478 0.000 0.000 0.417 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 36 0 0 0 0 40 -1

N.S.

1 1.00 0.65 0.00 0.00 0.00 0.00 0.73 -0.02

time (sec)

N/A 0.092 0.016 0.323 0.000 0.000 0.000 0.406 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 53 0 0 0 0 112 -1

N.S.

1 1.00 0.67 0.00 0.00 0.00 0.00 1.42 -0.01

time (sec)

N/A 0.094 0.065 0.316 0.000 0.000 0.000 0.413 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 69 0 0 0 0 170 -1

N.S.

1 1.00 0.63 0.00 0.00 0.00 0.00 1.56 -0.01

time (sec)

N/A 0.123 0.049 0.319 0.000 0.000 0.000 0.416 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

383 383 213 0 0 0 0 0 -1

N.S.

1 1.00 0.56 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.150 1.107 0.457 0.000 0.000 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

269 269 163 0 0 0 0 0 -1

N.S.

1 1.00 0.61 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.120 1.135 0.437 0.000 0.000 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 117 0 0 0 0 0 -1

N.S.

1 1.00 0.75 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.059 0.544 0.432 0.000 0.000 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.049 1.957 0.432 0.000 0.000 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.067 1.067 0.436 0.000 0.000 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

402 402 716 0 0 0 0 0 -1

N.S.

1 1.00 1.78 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.198 1.925 0.326 0.000 0.000 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

248 248 214 0 0 0 0 0 -1

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.128 0.692 0.332 0.000 0.000 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 137 0 0 0 0 0 -1

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.069 0.083 0.325 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.050 6.464 0.332 0.000 0.000 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.051 7.878 0.326 0.000 0.000 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.039 1.955 0.382 0.000 0.000 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.031 4.348 180.000 0.000 0.000 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

402 402 429 0 381 783 0 0 -1

N.S.

1 1.00 1.07 0.00 0.95 1.95 0.00 0.00 -0.00

time (sec)

N/A 0.407 1.640 180.000 0.136 0.136 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

263 263 302 0 213 539 0 0 -1

N.S.

1 1.00 1.15 0.00 0.81 2.05 0.00 0.00 -0.00

time (sec)

N/A 0.240 0.775 180.000 0.084 0.098 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 189 0 102 271 0 0 -1

N.S.

1 1.00 1.44 0.00 0.78 2.07 0.00 0.00 -0.01

time (sec)

N/A 0.103 0.231 180.000 0.057 0.101 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.034 2.942 180.000 0.000 0.000 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.036 6.077 180.000 0.000 0.000 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 123 482 250 174 264 258 187

N.S.

1 1.00 1.38 5.42 2.81 1.96 2.97 2.90 2.10

time (sec)

N/A 0.095 0.290 0.836 0.279 0.382 0.281 0.410 0.988

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 83 240 149 108 151 146 110

N.S.

1 1.00 1.24 3.58 2.22 1.61 2.25 2.18 1.64

time (sec)

N/A 0.064 0.209 0.768 0.268 0.370 0.175 0.403 0.946

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 46 91 70 57 68 64 49

N.S.

1 1.00 1.02 2.02 1.56 1.27 1.51 1.42 1.09

time (sec)

N/A 0.031 0.087 0.788 0.263 0.360 0.091 0.416 0.084

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 57 94 72 122 0 67 -1

N.S.

1 1.00 0.89 1.47 1.12 1.91 0.00 1.05 -0.02

time (sec)

N/A 0.093 0.087 0.872 0.309 0.385 0.000 0.403 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 71 149 89 178 0 631 -1

N.S.

1 1.00 0.82 1.71 1.02 2.05 0.00 7.25 -0.01

time (sec)

N/A 0.121 0.251 0.885 0.295 0.346 0.000 0.432 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 95 296 100 293 0 316 -1

N.S.

1 1.00 0.77 2.41 0.81 2.38 0.00 2.57 -0.01

time (sec)

N/A 0.146 0.367 0.899 0.305 0.349 0.000 0.406 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

250 250 232 1061 550 424 779 599 481

N.S.

1 1.00 0.93 4.24 2.20 1.70 3.12 2.40 1.92

time (sec)

N/A 0.200 0.811 0.950 0.301 0.362 0.507 0.423 2.636

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

182 182 252 535 341 255 456 345 281

N.S.

1 1.00 1.38 2.94 1.87 1.40 2.51 1.90 1.54

time (sec)

N/A 0.133 0.634 0.931 0.288 0.366 0.323 0.419 1.335

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 96 208 174 137 219 160 135

N.S.

1 1.00 0.83 1.79 1.50 1.18 1.89 1.38 1.16

time (sec)

N/A 0.076 0.511 0.972 0.275 0.429 0.163 0.412 0.149

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 133 202 152 253 0 144 -1

N.S.

1 1.00 0.85 1.29 0.97 1.62 0.00 0.92 -0.01

time (sec)

N/A 0.231 0.174 4.142 0.316 0.381 0.000 0.418 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 233 319 185 540 0 1135 -1

N.S.

1 1.00 1.27 1.74 1.01 2.95 0.00 6.20 -0.01

time (sec)

N/A 0.258 0.497 4.213 0.316 0.381 0.000 0.502 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

242 242 394 626 205 830 0 678 -1

N.S.

1 1.00 1.63 2.59 0.85 3.43 0.00 2.80 -0.00

time (sec)

N/A 0.325 0.812 4.085 0.348 0.380 0.000 0.429 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

436 436 384 0 0 1420 0 0 -1

N.S.

1 1.00 0.88 0.00 0.00 3.26 0.00 0.00 -0.00

time (sec)

N/A 0.570 1.034 180.000 0.000 0.376 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

320 320 247 0 0 938 0 0 -1

N.S.

1 1.00 0.77 0.00 0.00 2.93 0.00 0.00 -0.00

time (sec)

N/A 0.467 0.667 180.000 0.000 0.458 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

203 203 152 437 0 559 0 0 -1

N.S.

1 1.00 0.75 2.15 0.00 2.75 0.00 0.00 -0.00

time (sec)

N/A 0.266 0.631 1.461 0.000 0.375 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.044 0.673 180.000 0.000 0.000 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.036 0.787 180.000 0.000 0.000 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F(-2) B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

823 823 11178 0 0 11778 0 0 -1

N.S.

1 1.00 13.58 0.00 0.00 14.31 0.00 0.00 -0.00

time (sec)

N/A 0.975 23.005 0.833 0.000 0.574 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F(-2) B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

593 593 2854 0 0 6143 0 0 -1

N.S.

1 1.00 4.81 0.00 0.00 10.36 0.00 0.00 -0.00

time (sec)

N/A 0.726 18.618 0.847 0.000 0.683 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

274 274 509 585 0 2297 0 0 -1

N.S.

1 1.00 1.86 2.14 0.00 8.38 0.00 0.00 -0.00

time (sec)

N/A 0.325 3.308 2.035 0.000 0.410 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.039 33.691 180.000 0.000 0.000 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.036 36.258 180.000 0.000 0.000 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.034 3.020 180.000 0.000 0.000 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F A A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

543 543 2639 0 383 883 0 0 -1

N.S.

1 1.00 4.86 0.00 0.71 1.63 0.00 0.00 -0.00

time (sec)

N/A 0.539 9.709 180.000 0.132 0.126 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

282 282 241 0 212 555 0 0 -1

N.S.

1 1.00 0.85 0.00 0.75 1.97 0.00 0.00 -0.00

time (sec)

N/A 0.281 5.831 180.000 0.080 0.147 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 202 0 102 271 0 0 -1

N.S.

1 1.00 1.54 0.00 0.78 2.07 0.00 0.00 -0.01

time (sec)

N/A 0.104 0.967 180.000 0.058 0.087 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.038 0.883 180.000 0.000 0.000 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.036 3.942 180.000 0.000 0.000 0.000 0.000 0.000

[prev] [prev-tail] [front] [up]